$\forall$$p$:FinProbSpace, $n$:$\mathbb{N}$, $X$, $Y$:RandomVariable($p$;$n$).
\\[0ex]rv{-}disjoint($p$;$n$;$X$;$Y$) $\Rightarrow$ (E($n$;$X$ $\ast$ $Y$) = (E($n$;$X$) $\ast$ E($n$;$Y$)) $\in$ $\mathbb{Q}$)